<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Algebraische Integration</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Algebraische_Integration"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.math.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Algebraische_Integration rootpage-Algebraische_Integration skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Algebraische Integration</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Als <b>algebraische</b> oder <b>symbolische Integration</b> oder <b>Quadratur</b> bezeichnet man in der <a href="Mathematik" title="Mathematik">Mathematik</a> die Berechnung von <a href="Integralrechnung" title="Integralrechnung">Integralen</a> durch exakte <a href="Term#Algebraische_Umformungen" title="Term">Termumformungen</a>, im Gegensatz zur approximativen <a href="Numerische_Quadratur" class="mw-redirect" title="Numerische Quadratur">numerischen Quadratur</a>.
</p><p>Die algebraische Integration gehört zu den wichtigsten Anwendungsfällen von <a href="Computeralgebrasystem" title="Computeralgebrasystem">Computeralgebrasystemen</a>. Diesen Programmen werden Funktionen zur Bestimmung einer <a href="Stammfunktion" title="Stammfunktion">Stammfunktion</a> implementiert. Die wichtigsten Regeln sind hier die <a href="Substitutionsregel" class="mw-redirect" title="Substitutionsregel">Substitutionsregel</a> und die <a href="Partielle_Integration" title="Partielle Integration">partielle Integration</a>. Jedoch gelangt man bei diesen Techniken auch schnell an die Grenzen ihrer Einsetzbarkeit. So besitzt die Funktion <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \textstyle \exp \left(-{\frac {x^{2}}{2}}\right)}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mstyle displaystyle="false" scriptlevel="0">
<mi>exp</mi>
<mo><!-- --></mo>
<mrow>
<mo>(</mo>
<mrow>
<mo>−<!-- − --></mo>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msup>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msup>
<mn>2</mn>
</mfrac>
</mrow>
</mrow>
<mo>)</mo>
</mrow>
</mstyle>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \textstyle \exp \left(-{\frac {x^{2}}{2}}\right)}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/e589a2e5fe897a98109beea464cf1cd9db9df0cb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:10.744ex; height:4.843ex;" alt="{\displaystyle \textstyle \exp \left(-{\frac {x^{2}}{2}}\right)}" loading="lazy"></span> keine geschlossene Darstellung ihrer Stammfunktion. Für diese Fälle gibt es auch die Techniken der <a href="Kontinuierliche_Fourier-Transformation" class="mw-redirect" title="Kontinuierliche Fourier-Transformation">Fourier-Transformation</a> und des <a href="Residuensatz" title="Residuensatz">Residuensatzes</a>, welche auch von modernen Computeralgebrasystemen beherrscht werden. Außerdem verwenden Computeralgebrasysteme sogenannte Fehler-Funktionen, bspw. die <a href="Fehlerfunktion" title="Fehlerfunktion">Gaußsche Fehlerfunktion</a>, zur Bildung von Stammfunktionen, welche keine geschlossene Darstellung haben.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>
</p><p>Es existiert ein Verfahren, genannt <a href="Robert_Risch_(Mathematiker)" title="Robert Risch (Mathematiker)">Risch-Algorithmus</a>, welches für viele Klassen von Integranden entscheiden kann, ob ein Integral existiert, und dieses dann bestimmt. Derartige <a href="Algorithmus" title="Algorithmus">Algorithmen</a> werden immer noch weiterentwickelt, denn der Risch-Algorithmus ist auf unbestimmte Integrale beschränkt. Die weit überwiegende Mehrzahl der für Physiker, theoretische Chemiker und Ingenieure interessanten Integrale sind jedoch bestimmte Integrale, oft mit Bezug zur <a href="Laplace-Transformation" title="Laplace-Transformation">Laplace-Transformation</a>, <a href="Fourier-Transformation" title="Fourier-Transformation">Fourier-Transformation</a> oder <a href="Mellin-Transformation" title="Mellin-Transformation">Mellin-Transformation</a>. Eine Alternative zum Risch-Algorithmus verwendet eine Kombination aus Computeralgebrasystem und <a href="Mustererkennung" title="Mustererkennung">Mustererkennung</a> sowie die Kenntnisse über spezielle Funktionen, insbesondere die unvollständige Gamma-Funktion<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>. Obwohl dieser Weg eher <a href="Heuristik" title="Heuristik">heuristisch</a> als algorithmisch ist, stellt er doch eine effektive Methode zur Berechnung bestimmter Integrale dar, insbesondere solcher die in der Praxis des Ingenieurwesens auftreten. Diese Methode wurde erstmals von den Entwicklern des Computeralgebrasystems <a href="Maple_(Software)" title="Maple (Software)">Maple</a><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> implementiert, und später von Systemen wie <a href="Mathematica" title="Mathematica">Mathematica</a>, <a href="MuPAD" title="MuPAD">MuPAD</a> und anderen übernommen.
</p>
<div class="mw-heading mw-heading2"><h2 id="Beispiel">Beispiel</h2></div>
<p>Mit Hilfe der Polynomfunktion <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x^{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msup>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msup>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle x^{2}}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cf0bf28fd28f45d07e1ceb909ce333c18c558c93.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.384ex; height:2.676ex;" alt="{\displaystyle x^{2}}" loading="lazy"></span> wird ein einfaches Beispiel gegeben. So ist
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \int x^{2}\,\mathrm {d} x={\frac {x^{3}}{3}}+C}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo>∫<!-- ∫ --></mo>
<msup>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msup>
<mspace width="thinmathspace"></mspace>
<mrow class="MJX-TeXAtom-ORD">
<mi mathvariant="normal">d</mi>
</mrow>
<mi>x</mi>
<mo>=</mo>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<msup>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msup>
<mn>3</mn>
</mfrac>
</mrow>
<mo>+</mo>
<mi>C</mi>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \int x^{2}\,\mathrm {d} x={\frac {x^{3}}{3}}+C}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/db8de231c5fa782aaa160d2d222aa2fdf10c24b6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.338ex; width:18.899ex; height:6.176ex;" alt="{\displaystyle \int x^{2}\,\mathrm {d} x={\frac {x^{3}}{3}}+C}" loading="lazy"></span></dd></dl>
<p>das symbolische Resultat für das unbestimmte Integral, wobei <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle C}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>C</mi>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle C}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4fc55753007cd3c18576f7933f6f089196732029.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.766ex; height:2.176ex;" alt="{\displaystyle C}" loading="lazy"></span> eine Integrationskonstante ist. Für das bestimmte Integral
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \int _{-1}^{1}x^{2}\,dx={\frac {2}{3}}=0{,}6666\ldots }">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msubsup>
<mo>∫<!-- ∫ --></mo>
<mrow class="MJX-TeXAtom-ORD">
<mo>−<!-- − --></mo>
<mn>1</mn>
</mrow>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msubsup>
<msup>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msup>
<mspace width="thinmathspace"></mspace>
<mi>d</mi>
<mi>x</mi>
<mo>=</mo>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mn>2</mn>
<mn>3</mn>
</mfrac>
</mrow>
<mo>=</mo>
<mn>0,666</mn>
<mn>6</mn>
<mo>…<!-- … --></mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \int _{-1}^{1}x^{2}\,dx={\frac {2}{3}}=0{,}6666\ldots }</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/aa2f8c890694a9be42d33fd88e678ecdf1d604b7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:27.094ex; height:6.343ex;" alt="{\displaystyle \int _{-1}^{1}x^{2}\,dx={\frac {2}{3}}=0{,}6666\ldots }" loading="lazy"></span></dd></dl>
<p>ist der symbolische Wert <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\tfrac {2}{3}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="false" scriptlevel="0">
<mfrac>
<mn>2</mn>
<mn>3</mn>
</mfrac>
</mstyle>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\tfrac {2}{3}}}</annotation>
</semantics>
</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/571a6ce6d697175e9e5e723b8c40eaa7efcfeaca.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.338ex; width:1.658ex; height:3.676ex;" alt="{\displaystyle {\tfrac {2}{3}}}" loading="lazy"></span> und der numerische ist 0,6666…. Dabei ist die Anzahl der Nachkommastellen unendlich.
</p>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Wolfram: <a rel="nofollow" class="external text" href="http://mathworld.wolfram.com/Erf.html">Erf</a>; abgerufen am 27. April 2010</span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">K.O Geddes, M.L. Glasser, R.A. Moore und T.C. Scott, <i>Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions</i>, AAECC (Applicable Algebra in Engineering, Communication and Computing), vol. 1, (1990), pp. 149–165, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<span class="uri-handle" style="white-space:nowrap"><a rel="nofollow" class="external text" href="https://doi.org/10.1007/BF01810298">10.1007/BF01810298</a></span></span>
</li>
<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">K.O. Geddes and T.C. Scott, <i>Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms</i>, Proceedings of the 1989 Computers and Mathematics conference, (held at MIT June 12, 1989), edited by E. Kaltofen and S.M. Watt, Springer-Verlag, New York, (1989), pp. 192–201. siehe <a rel="nofollow" class="external free" href="http://portal.acm.org/citation.cfm?id=93094">http://portal.acm.org/citation.cfm?id=93094</a></span>
</li>
</ol></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-03-27" href="https://de.wikipedia.org/wiki/?title=Algebraische_Integration&oldid=254601047">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>